Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
521	Handbook of Knowledge Representation Edited by B. Porter, V. Lifschitz and F. van Harmelen c 2008 Elsevier All rights reserved 1 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:07:08 Non-classical logic Science Knowledge representation Model theory Artificial intelligence Frame problem Situation calculus Circumscription Modal logic Logic Mathematical logic Logic programming
522	GUILD MUSIC GLCD 5206 Non-Stop to Nowhere GLCD[removed]Guild GmbH Add to Reading List Source URL: www.theclassicalshop.net Language: English Ernest Tomlinson Electric Light Orchestra Light music Mantovani Classical music Easy listening music Robert Farnon
523	1 Truth-maker Semantics for Intuitionistic Logic I wish to propose a new semantics for intuitionistic logic, which is in some ways a cross between the construction-oriented semantics of Brouwer-Heyting-Kolmogorov (as exp Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-08-19 11:37:32 Non-classical logic Mathematical constructivism Propositional calculus Philosophy of mathematics Intuitionistic logic Negation Modal logic Kripke semantics Intuitionism Logic Mathematical logic Philosophical logic
524	Time and Information in Sequential and Concurrent Computation Vaughan Pratt∗ Stanford University January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:29 Mathematics Semigroup theory Concurrency Modal logic Non-classical logic Philosophical logic Monoid Parallel computing Chu space Abstract algebra Category theory Logic
525	Linear Logic for Generalized Quantum Mechanics Vaughan Pratt∗ Dept. of Computer Science Stanford University, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2003-10-12 15:40:30 Non-classical logic Linear logic Quantum logic Intuitionistic logic Modal logic Propositional calculus Boolean algebra Function Interpretation Logic Mathematical logic Mathematics
526	Concurrent Kripke Structures Vineet Gupta∗ Dept. of Computer Science Stanford University, CA[removed]removed] January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:23 Algebraic structures Order theory Boolean algebra Non-classical logic Model theory Semiring Distributivity Modal logic Structure Mathematics Abstract algebra Mathematical logic
527	LANGE AND LAWS, KINDS, AND COUNTERFACTUALS Forthcoming in Topics in Contemporary Philosophy volume 8: Carving Nature at its Joints (ed. Matthew Slater) Alexander Bird Abstract Add to Reading List Source URL: eis.bris.ac.uk Language: English - Date: 2010-09-07 09:09:58 Determinacy Modal logic Fundamental frequency Logic Non-classical logic Mathematical analysis
528	Microsoft Word - Gironde.doc Add to Reading List Source URL: metaphysica.de Language: English - Date: 2006-02-07 06:53:17 Non-classical logic Philosophical logic Philosophy Modal logic Abstract object Object Ontology Logic Metaphysics
529	Standard State-Space Models Preclude Unawareness Add to Reading List Source URL: faculty.wcas.northwestern.edu Language: English - Date: 2011-10-02 12:50:54 Philosophical logic Modal logic Non-classical logic Kripke semantics Introspection Epistemology FO Axiom Logic Mathematical logic Mathematics
530	Proceedings of the Third Conference of Mathematical Society of Moldova IMCS-50, August 19-23, 2014, Chisinau, Republic of Moldova On absence of finite approximation relative to model completeness in the propositional pro Add to Reading List Source URL: idsi.md Language: English - Date: 2014-10-08 08:39:39 Non-classical logic Modal logic Philosophical logic Proof theory Provability logic Intuitionistic logic Interpretation Boolean function Boolean algebra Logic Mathematical logic Model theory

UPDATE